Axiomatic semantics
Results: 12
| # | Item |
|---|---|
11![Origins of our Theory of Computation on Abstract Data Types at the Mathematical Centre, Amsterdam, [removed]J V Tucker Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, Wales, SA2 8PP](https://www.pdfsearch.io/img/b76b93239b687dda1c8d378d17e9433d.jpg "Origins of our Theory of Computation on Abstract Data Types at the Mathematical Centre, Amsterdam, [removed]J V Tucker Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, Wales, SA2 8PP") | Origins of our Theory of Computation on Abstract Data Types at the Mathematical Centre, Amsterdam, [removed]J V Tucker Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, Wales, SA2 8PPAdd to Reading ListSource URL: www-compsci.swan.ac.ukLanguage: English - Date: 2004-03-23 04:26:27 |
12 | PDF DocumentAdd to Reading ListSource URL: www.cs.princeton.eduLanguage: English - Date: 2009-02-16 14:50:09 |